🔄 Protocol Design

Network Architecture, Consensus Algorithms, Distributed Systems, Byzantine Fault Tolerance

Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·1d·
Discuss: Hacker News
🧮Homomorphic Encryption
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·17h·
Discuss: Hacker News
📜Smart Contracts
TCP and the Two Generals Problem: A Funny, Technical Guide to System Design day 19 of learning system design
dev.to·8h·
Discuss: DEV
🛡️AI Safety
News for July 2025
ptreview.sublinear.info·24m
🔐Zero-Knowledge Proofs
How to Write Inductive Invariants
quint-lang.org·9h·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Top Leader Election Algorithms in Distributed Databases
blog.bytebytego.com·1d
🧮Homomorphic Encryption
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·20h
🛡️AI Safety
4 Interesting Distributed Web Projects
computer.gripe·8h
🌐Decentralized AI
Research Areas in Benchmark Design and Evaluation (The Alignment Project by UK AISI)
lesswrong.com·13h
🛡️AI Safety
Real Life Is Uncertain. Consensus Should Be Too!
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
✅Formal Verification
Kubernetes Monitoring — A Complete Solution
reddit.com·11h·
Discuss: r/kubernetes
🔒Hardware Security
A New Governance Model for MCP
blog.modelcontextprotocol.io·1d·
Discuss: Hacker News
📜Smart Contracts
In-Network Leaderless Replication for Distributed Data Stores
vldb.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧MLIR
Architecting Your Next SoC: Join the Live Discussion on Tradeoffs, IP, and Ecosystem Realities
semiwiki.com·9h
🔒Hardware Security
NATS on edge - A distributed industrial mesh- MQ Summit Session 2025
mqsummit.com·12h·
Discuss: r/programming
🧮Homomorphic Encryption
Data Consistency in Distributed Systems: A Fun Guide with Kasongo and Riggy day 20 of learning system design
dev.to·7h·
Discuss: DEV
🔒Hardware Security
GITEX GLOBAL 2025
darkreading.com·11h
🔒Hardware Security
Bitcoin Optech Newsletter #365
bitcoinops.org·12h
🔗Crypto
UEC-LLR: The Future Of Loss Recovery In Ethernet For AI And HPC
semiengineering.com·1d
🔧MLIR
Blockchain-Based Decentralized Domain Name System
eprint.iacr.org·3d
🔗Crypto